Deriving conclusions from non-monotonic cause-effect relations
نویسندگان
چکیده
منابع مشابه
Deriving conclusions from non-monotonic cause-effect relations
We present an extension of Logic Programming (under stable models semantics) that, not only allows concluding whether a true atom is a cause of another atom, but also deriving new conclusions from these causal-effect relations. This is expressive enough to capture informal rules like “if some agent’s actions A have been necessary to cause an event E then conclude atom caused(A, E),” something t...
متن کاملDeriving quantitative conclusions from microarray expression data
MOTIVATION The last few years have seen the development of DNA microarray technology that allows simultaneous measurement of the expression levels of thousands of genes. While many methods have been developed to analyze such data, most have been visualization-based. Methods that yield quantitative conclusions have been diverse and complex. RESULTS We present two straightforward methods for id...
متن کاملDeriving Monotonic Function Envelopes from Observations*
Much work in qualitative physics involves constructing models of physical systems using functional descriptions such as "flow monotonically increases with pressure." Semiquantitative methods improve model precision by adding numerical envelopes to these monotonic functions . Ad hoc methods are normally used to determine these envelopes. This paper describes a systematic method for computing a b...
متن کاملDeriving Laws from Ordering Relations
The effect of Richard T. Cox’s contribution to probability theory was to generalize Boolean implication among logical statements to degrees of implication, which are manipulated using rules derived from consistency with Boolean algebra. These rules are known as the sum rule, the product rule and Bayes’ Theorem, and the measure resulting from this generalization is probability. In this paper, I ...
متن کاملDeriving Spatiotemporal Relations from Simple Data Structure
A spatiotemporal data model is incomplete without three components: classes, consistency constraints, and operators. Classes define the structure of the model, constraints enforce consistency in the model, and operators operate on the structure of the model. In the past, many models have been proposed, but most of them discussed the classes. The studies on operators for spatiotemporal data mode...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2016
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068416000466